The Pegasus Autocode

Simulink Models for Autocode Generation∗

Suppose that you have developed a Simulink model of a virtual world, such as a wall or spring-mass system. We have seen how to choose the parameters of the virtual world so that it has desired properties. For example, we have seen how to choose the spring constant and inertia of the virtual spring-mass system so that it has a desired frequency of oscillation and satisfies a maximum torque limit...

Dependable and ubiquitous Autocode Generation

“Automatic Code Generation” is a process of deriving programs directly from a design representation. Many commercial tools provide this capability. Whilst these tools provide greater flexibility and responsiveness in design, the market is technology-focussed and immature. No infrastructure or established theory exists which could be used to deploy the technology across large projects whilst uph...

The Ontology: Chimaera or Pegasus

In the context of the needs of the Semantic Web and Knowledge Management, we consider what the requirements are of ontologies. The ontology as an artifact of knowledge representation is in danger of becoming a Chimera. We present a series of facts concerning the foundations on which automated ontology construction must build. We discuss a number of different functions that an ontology seeks to ...

Status of the UCLA PEGASUS Laboratory∗

The PEGASUS laboratory is a versatile radiation facility dedicated to the advancement of novel concepts in beam physics. The installation of a new LaB6 cathode will allow for both thermionic emission and photoinjection operation. The PEGASUS plane wave transformer injector has been conditioned to 20 MW of RF power. Recent operations show a 15 MeV dark current beam that will be used for beam rad...

Remarks on the Pegasus Cluster of Nebulae.